Un algorithme pour le calcul des syzygies sur  V[X]  dans le cas où  V  est un domaine de valuation


fichier pdf.
avec Claude Quitté et Ihsen Yengui. Journal ... 281, (2004), 604-650.-->

Résumé :

Soit  V  un domaine de valuation.

Nous donnons un algorithme pour calculer une base du  V-saturé d'un sous-module de type fini d'un  V-module libre (avec une base éventuellement infinie).
Nous l'appliquons pour calculer le  V-saturé d'un sous-V[X]-module de type fini de  V[X]n.

Ceci permet enfin de calculer un système générateur fini pour les syzygies sur  V[X]  d'une famille finie de vecteurs de  V[X]k.

TITLE

Abstract :

-->